Christel Baier
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activité |
| A travaillé pour |
Université de technologie de Dresde (depuis le ) La faculté d'informatique de l'Université de Dresde (d) (depuis le ) Université de technologie de Dresde (depuis le ) Université rhénane Frédéric-Guillaume de Bonn ( - |
|---|---|
| Membre de | |
| Dir. de thèse |
Mila Emilia Majster (d) |
Christel Baier (née le à Karlsruhe)[1] est une informaticienne allemande qui travaille sur la Vérification de modèles, la logique temporelle. Elle enseigne à la TU Dresden[2]. Elle est éditrice en chef d'Acta Informatica[3].
Éducation et carrière[modifier | modifier le code]
Baier a obtenu un diplôme en mathématiques à l'Université de Mannheim en 1990 et un doctorat en informatique en 1994[2]. Sa thèse, Transitionssystem- und Baum-Semantiken für CCS, a été dirigée par Mila Majster-Cederbaum. Elle a obtenu son habilitation à Mannheim en 1999[2].
Elle est devenue professeur d'informatique à l'Université de Bonn en 1999 et a rejoint la TU Dresden en 2006[2].
Livre[modifier | modifier le code]
Avec Joost-Pieter Katoen, Baier est co-auteur du livre Principles of Model Checking (MIT Press, 2008).
Reconnaissance[modifier | modifier le code]
Baier a été élu à l'Academia Europaea en 2011[1].
Elle a reçu un doctorat honoris causa en septembre 2022 de la RWTH Aachen.
Références[modifier | modifier le code]
- (en) « Academia Europaea new member list »
- « Short bio », TU Dresden (consulté le )
- « Editorial board », Acta Informatica, Springer
Liens externes[modifier | modifier le code]
- Ressources relatives à la recherche :
- « Publications de Christel Baier » sur Google Scholar
